Le « tire-bouc », un jeu centrasiatique bien peu touristique

Éditorial: Le jeu et l'informatique

Motifs séquentiels flous : un peu, beaucoup, passionnément

le paysage comme bien commun

0

Acquisition de données vs gestion de connaissances patrimoniales : le cas des vestiges du théâtre antique d'Arles

Résumé. Qu’y a t’il de commun aujourd’hui entre l’acquisition de données 3D, la gestion d’informations patrimoniales, ou encore la modélisation tridimensionnelle en temps réel ? Bien peu, force est de le constater, si ce n’est que l’édifice patrimonial sert là souvent de terrain d’expérimentation. Pourtant, il ne saurait être réduit à ce seul statut : il est objet de connaissances dont l’étude ...

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...